`:top

`!System F`! ist:

• ein Pseudonym des niederländischen DJs `F33f`_`[Ferry Corsten`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Ferry_Corsten]`_`f

• der polymorph getypte `F33f`_`[Lambda-Kalkül`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lambda-Kalkül]`_`f, eine formale Sprache, mit der Programmiersprachen untersucht werden